Geometry and concurrency: a user's guide

نویسنده

  • Eric Goubault
چکیده

Geometrical methods in concurrency theory (and in distributed systems theory) have appeared recently for modelling and analyzing systems' behaviours and also for solving computability and complexity issues. We identify some of the main directions of research and survey some of the major ideas on which all this is based on (some of which are more than thirty years old).

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Survey of Concurrency Control Algorithms in the Operating Systems

Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...

متن کامل

Spatial Analysis in curved spaces with Non-Euclidean Geometry

The ultimate goal of spatial information, both as part of technology and as science, is to answer questions and issues related to space, place, and location. Therefore, geometry is widely used for description, storage, and analysis. Undoubtedly, one of the most essential features of spatial information is geometric features, and one of the most obvious types of analysis is the geometric type an...

متن کامل

A Survey of Concurrency Control Algorithms in the Operating Systems

Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...

متن کامل

Assessing users' visual perception based on the regular and irregular geometry of space organizer

Perception is a cognitive process depends on various factors of the environment. The user's mentality can affect his perception, understanding, and behavior in the environment. Organizing the environment is one of the important factors in the formation of spatial communication of elements that can be an important factor in understanding the person from his or her surroundings. In this research,...

متن کامل

Numerically Solving Polynomial Systems with Bertini

Numerically Solving Polynomial Systems with Bertini • approaches numerical algebraic geometry from a user's point of view with many worked examples, • teaches how to use Bertini and includes a complete reference guide, • treats the fundamental task of solving a given polynomial system and describes the latest advances in the field, including algorithms for intersecting and projecting algebraic ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Mathematical Structures in Computer Science

دوره 10  شماره 

صفحات  -

تاریخ انتشار 2000